simplifying trig functions